Maybe Shift Count is Out of Range (MSCOR)

Description:

MSCOR detects if the range of the shift count operand is not within [0,31] for the int type, or [0,63] for the long type. It does not produce this message when the distance between the maximum and minimum values of shift count is greater than 255, so the message will not be reported if the shift count is just a variable of integer type.

Incorrect:

void ex(int x, int y) {
    x >>= y;
    x >>= 32 - (y & 31);
}